25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
Advances in Grid Computing - EGC 2005
This book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
Lee mas
Advances in Grid and Pervasive Computing
This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
Lee mas
Advances in Grid and Pervasive Computing
This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
Lee mas
Advances in Grid and Pervasive Computing
This book constitutes the refereed proceedings of the First International Conference on Grid and Pervasive Computing, GPC ...
Lee mas
Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC ...
Lee mas
Algorithm Theory - SWAT 2008 : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
his book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, ...
Lee mas
Algorithms - ESA 2008 : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...
Lee mas
Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Lee mas
Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Lee mas
Algorithms – ESA 2007
This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics ...
Lee mas
Algorithms – ESA 2007
This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics ...
Lee mas
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
Lee mas
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
Lee mas
Artificial Intelligence and Soft Computing
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lee mas
Artificial Intelligence and Soft Computing
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lee mas
Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lee mas
Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lee mas
Bio-Inspired Computing and Communication : First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...
Lee mas
Computing and Combinatorics (vol. # 3595)
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
Lee mas
